-
1 функциональное исчисление
Большой англо-русский и русско-английский словарь > функциональное исчисление
-
2 functional calculus
-
3 functional calculus
функциональное исчисление; исчисление предикатов -
4 functional calculus
The English-Russian dictionary general scientific > functional calculus
-
5 functional calculus
-
6 functional
ˈfʌŋkʃənl (математика) функционал функциональный - * architecture функционально-направленная архитектура - * style( архитектура) функциональный стиль - * modern furniture функциональная современная мебель - * disturbance (медицина) расстройство функции - * disease функциональное заболевание - * heart-trouble функциональное сердечное заболевание - * calculus( математика) функциональное исчисление, исчисление предикатов официальный, деловой профессиональный, особ узкопрофессиональный - * training обучение по узкой специальности - * representation представительство по профессиям (а не по территориальному признаку) applicative ~ аппликативный функциионал functional архит. конструктивный, без украшательства ~ официальный ~ профессиональный ~ функциональный (тж. физиол. и мат.) ~ функциональныйБольшой англо-русский и русско-английский словарь > functional
-
7 functional
1. [ʹfʌŋkʃ(ə)nəl] n мат. 2. [ʹfʌŋkʃ(ə)nəl] a1. функциональныйfunctional stile - архит. функциональный стиль
functional modern furniture - функциональная /рациональная/ современная мебель
functional disturbance - мед. расстройство функции
functional calculus - мат. функциональное исчисление, исчисление предикатов
2. официальный, деловой3. профессиональный, особ. узкопрофессиональный -
8 functional calculus
1) функциональное исчисление
2) функциональное исчисление или исчисление предикатов -
9 calculus
calculus исчислениеextended propositional calculus расширенное пропозициональное исчислениеfunctional calculus функциональное исчислениеmany-valued propositional calculus многозначное пропозициональное исчислениеpredicate calculus исчисление предикатовpropositional calculus пропозициональное исчислениеrestricted predicate calculus узкое исчисление предикатовEnglish-Russian dictionary of biology and biotechnology > calculus
-
10 functional calculus
Англо-русский словарь технических терминов > functional calculus
-
11 binary functional calculus
Универсальный англо-русский словарь > binary functional calculus
-
12 functional calculus
-
13 functional calculus
2) лог. исчисление предикатовEnglish-Russian dictionary of computer science and programming > functional calculus
-
14 binary functional calculus
логикабинарное функциональное исчисление, бинарное исчисление предикатовEnglish-Russian scientific dictionary > binary functional calculus
-
15 functional calculus
English-Russian information technology > functional calculus
-
16 functional calculus
мат. функциональное исчисление, исчисление предикатовThe English-Russian dictionary of geoinformatics > functional calculus
-
17 FC
1) Компьютерная техника: File Control2) Медицина: fold change (кратность изменения), Food consumption, fibrosing colonopathy3) Американизм: Final Candidate, Foreign Country4) Спорт: Field Champion, Fight Club5) Военный термин: Fighter Command, Finance Code, Finance Corps, Fire Control, First Company, Flag Carrier, Forced Collaboration, Fractional Coverage, Friendly Capability, Fuze Committee, facilities construction, facilities contract, facilities control, field camera, field change, field circular, field command, file cabinet, filter center, fine control, fire clothing, fire code, fire commander, fire controlman, fixed camera, fixed coast, fixed cost, flexible connection, flight capsule, flight chart, flight control, flight crew, flying commission, fuel capacity, full capacity, function capabilities, functional check-out, functional code, fund code6) Техника: fail closed, failure cause, failure count, failure criterion, fast computer, fault coverage, flat crested wear, flow controller, fluorine to carbon ratio, focus converter, foot-candle, fronted computer, fuel cycle, functional characteristics, functional checkout, обозначение для береговых станций (МСЭ), обозначение радиовещательных станций, Frequency Converter7) Сельское хозяйство: field capacity, final control8) Шутливое выражение: Fillet Correlation9) Химия: Face Cell, Fragment Crystallization10) Строительство: "For Construction" (пометка на чертежах)11) Математика: Fourier Coefficient, коэффициент Фурье (Fourier constant), состоятельность в смысле Фишера (Fisher consistency), состоятельный в смысле Фишера (Fisher consistent), функциональное исчисление (functional calculus)12) Метеорология: Firm Condensation, Funnel Cloud13) Железнодорожный термин: Fulton County Railroad Incorporated14) Юридический термин: Female Corrective, Full Code, NAFO Fisheries Commission15) Бухгалтерия: Finance Charge, Financial Capital, fixed costs16) Автомобильный термин: fan control17) Геодезия: Fiducial Center18) Металлургия: Full Corners19) Оптика: фут-свечей20) Телекоммуникации: Frame Control21) Сокращение: Corvette, Fighter Control / Controller, Fleet Commander, Football Club, Foreign Currency, Free Church, fireclay, front connection, front-connected, frequency changer22) Текстиль: Fedora Core23) Физиология: Freeze Candidate24) Электроника: Field Cooling, Flip Chip, Forward Control, fault circuit25) Вычислительная техника: Feedback Control, face change, file compare, font cartridge, font change, Frame Control (FDDI, Token Ring), Federal Criteria (for information technology security, NIST, USA), смена типа шрифта, сравнение файлов26) Нефть: Finance Committee, field code, filter cake, float collar, full cost, глинистая корка (на стенке скважины), критерий отказа (failure creteria), муфта обсадной колонны с обратным клапаном (float collar), остаток на фильтре, полнота обнаружения неисправностей (fault coverage), причина отказа (failure cause)27) Биохимия: Free Cholesterol28) Транспорт: First Class, Flying Club, Fuel Cell29) Пищевая промышленность: Food Choice, Fried Chicken30) Фирменный знак: Fairchild31) Экология: fecal coliform32) СМИ: Fragile Classics, The French Connection (movie)33) Деловая лексика: File Card, Friedman Curve, иностранная валюта34) Бурение: фильтрационная корка (filter cake; на стенке скважины)35) Глоссарий компании Сахалин Энерджи: Finance Controller, Flow control, fail close36) Сетевые технологии: Fast Class, Fast Connection, Fibre Channel37) Полимеры: fixed carbon, furnace cooling38) Программирование: Fix Command, Flag Complex39) Автоматика: full classification40) Океанография: Flood Control41) Химическое оружие: found concentration42) Макаров: fire cock, flight computer, function code, furnace cool43) Расширение файла: Harvard Graphics 2.0 Spell checking dictionary44) SAP.тех. код функции45) Нефть и газ: fully closed46) Электротехника: faulted circuit, ferrite core, frequency conversion47) Имена и фамилии: Freddie Couples, Freddy Creel48) Общественная организация: First Candle49) Должность: Female Channeler, Foreign Correspondent, Freaky Clown50) Чат: Face Contact51) NYSE. Franklin Covey Company52) НАСА: Frequency Control53) Программное обеспечение: Fortran Compiler, Full Control54) Хобби: Fishing Club55) Единицы измерений: Federal Credits56) Базы данных: File Check -
18 fC
1) Компьютерная техника: File Control2) Медицина: fold change (кратность изменения), Food consumption, fibrosing colonopathy3) Американизм: Final Candidate, Foreign Country4) Спорт: Field Champion, Fight Club5) Военный термин: Fighter Command, Finance Code, Finance Corps, Fire Control, First Company, Flag Carrier, Forced Collaboration, Fractional Coverage, Friendly Capability, Fuze Committee, facilities construction, facilities contract, facilities control, field camera, field change, field circular, field command, file cabinet, filter center, fine control, fire clothing, fire code, fire commander, fire controlman, fixed camera, fixed coast, fixed cost, flexible connection, flight capsule, flight chart, flight control, flight crew, flying commission, fuel capacity, full capacity, function capabilities, functional check-out, functional code, fund code6) Техника: fail closed, failure cause, failure count, failure criterion, fast computer, fault coverage, flat crested wear, flow controller, fluorine to carbon ratio, focus converter, foot-candle, fronted computer, fuel cycle, functional characteristics, functional checkout, обозначение для береговых станций (МСЭ), обозначение радиовещательных станций, Frequency Converter7) Сельское хозяйство: field capacity, final control8) Шутливое выражение: Fillet Correlation9) Химия: Face Cell, Fragment Crystallization10) Строительство: "For Construction" (пометка на чертежах)11) Математика: Fourier Coefficient, коэффициент Фурье (Fourier constant), состоятельность в смысле Фишера (Fisher consistency), состоятельный в смысле Фишера (Fisher consistent), функциональное исчисление (functional calculus)12) Метеорология: Firm Condensation, Funnel Cloud13) Железнодорожный термин: Fulton County Railroad Incorporated14) Юридический термин: Female Corrective, Full Code, NAFO Fisheries Commission15) Бухгалтерия: Finance Charge, Financial Capital, fixed costs16) Автомобильный термин: fan control17) Геодезия: Fiducial Center18) Металлургия: Full Corners19) Оптика: фут-свечей20) Телекоммуникации: Frame Control21) Сокращение: Corvette, Fighter Control / Controller, Fleet Commander, Football Club, Foreign Currency, Free Church, fireclay, front connection, front-connected, frequency changer22) Текстиль: Fedora Core23) Физиология: Freeze Candidate24) Электроника: Field Cooling, Flip Chip, Forward Control, fault circuit25) Вычислительная техника: Feedback Control, face change, file compare, font cartridge, font change, Frame Control (FDDI, Token Ring), Federal Criteria (for information technology security, NIST, USA), смена типа шрифта, сравнение файлов26) Нефть: Finance Committee, field code, filter cake, float collar, full cost, глинистая корка (на стенке скважины), критерий отказа (failure creteria), муфта обсадной колонны с обратным клапаном (float collar), остаток на фильтре, полнота обнаружения неисправностей (fault coverage), причина отказа (failure cause)27) Биохимия: Free Cholesterol28) Транспорт: First Class, Flying Club, Fuel Cell29) Пищевая промышленность: Food Choice, Fried Chicken30) Фирменный знак: Fairchild31) Экология: fecal coliform32) СМИ: Fragile Classics, The French Connection (movie)33) Деловая лексика: File Card, Friedman Curve, иностранная валюта34) Бурение: фильтрационная корка (filter cake; на стенке скважины)35) Глоссарий компании Сахалин Энерджи: Finance Controller, Flow control, fail close36) Сетевые технологии: Fast Class, Fast Connection, Fibre Channel37) Полимеры: fixed carbon, furnace cooling38) Программирование: Fix Command, Flag Complex39) Автоматика: full classification40) Океанография: Flood Control41) Химическое оружие: found concentration42) Макаров: fire cock, flight computer, function code, furnace cool43) Расширение файла: Harvard Graphics 2.0 Spell checking dictionary44) SAP.тех. код функции45) Нефть и газ: fully closed46) Электротехника: faulted circuit, ferrite core, frequency conversion47) Имена и фамилии: Freddie Couples, Freddy Creel48) Общественная организация: First Candle49) Должность: Female Channeler, Foreign Correspondent, Freaky Clown50) Чат: Face Contact51) NYSE. Franklin Covey Company52) НАСА: Frequency Control53) Программное обеспечение: Fortran Compiler, Full Control54) Хобби: Fishing Club55) Единицы измерений: Federal Credits56) Базы данных: File Check -
19 fc
1) Компьютерная техника: File Control2) Медицина: fold change (кратность изменения), Food consumption, fibrosing colonopathy3) Американизм: Final Candidate, Foreign Country4) Спорт: Field Champion, Fight Club5) Военный термин: Fighter Command, Finance Code, Finance Corps, Fire Control, First Company, Flag Carrier, Forced Collaboration, Fractional Coverage, Friendly Capability, Fuze Committee, facilities construction, facilities contract, facilities control, field camera, field change, field circular, field command, file cabinet, filter center, fine control, fire clothing, fire code, fire commander, fire controlman, fixed camera, fixed coast, fixed cost, flexible connection, flight capsule, flight chart, flight control, flight crew, flying commission, fuel capacity, full capacity, function capabilities, functional check-out, functional code, fund code6) Техника: fail closed, failure cause, failure count, failure criterion, fast computer, fault coverage, flat crested wear, flow controller, fluorine to carbon ratio, focus converter, foot-candle, fronted computer, fuel cycle, functional characteristics, functional checkout, обозначение для береговых станций (МСЭ), обозначение радиовещательных станций, Frequency Converter7) Сельское хозяйство: field capacity, final control8) Шутливое выражение: Fillet Correlation9) Химия: Face Cell, Fragment Crystallization10) Строительство: "For Construction" (пометка на чертежах)11) Математика: Fourier Coefficient, коэффициент Фурье (Fourier constant), состоятельность в смысле Фишера (Fisher consistency), состоятельный в смысле Фишера (Fisher consistent), функциональное исчисление (functional calculus)12) Метеорология: Firm Condensation, Funnel Cloud13) Железнодорожный термин: Fulton County Railroad Incorporated14) Юридический термин: Female Corrective, Full Code, NAFO Fisheries Commission15) Бухгалтерия: Finance Charge, Financial Capital, fixed costs16) Автомобильный термин: fan control17) Геодезия: Fiducial Center18) Металлургия: Full Corners19) Оптика: фут-свечей20) Телекоммуникации: Frame Control21) Сокращение: Corvette, Fighter Control / Controller, Fleet Commander, Football Club, Foreign Currency, Free Church, fireclay, front connection, front-connected, frequency changer22) Текстиль: Fedora Core23) Физиология: Freeze Candidate24) Электроника: Field Cooling, Flip Chip, Forward Control, fault circuit25) Вычислительная техника: Feedback Control, face change, file compare, font cartridge, font change, Frame Control (FDDI, Token Ring), Federal Criteria (for information technology security, NIST, USA), смена типа шрифта, сравнение файлов26) Нефть: Finance Committee, field code, filter cake, float collar, full cost, глинистая корка (на стенке скважины), критерий отказа (failure creteria), муфта обсадной колонны с обратным клапаном (float collar), остаток на фильтре, полнота обнаружения неисправностей (fault coverage), причина отказа (failure cause)27) Биохимия: Free Cholesterol28) Транспорт: First Class, Flying Club, Fuel Cell29) Пищевая промышленность: Food Choice, Fried Chicken30) Фирменный знак: Fairchild31) Экология: fecal coliform32) СМИ: Fragile Classics, The French Connection (movie)33) Деловая лексика: File Card, Friedman Curve, иностранная валюта34) Бурение: фильтрационная корка (filter cake; на стенке скважины)35) Глоссарий компании Сахалин Энерджи: Finance Controller, Flow control, fail close36) Сетевые технологии: Fast Class, Fast Connection, Fibre Channel37) Полимеры: fixed carbon, furnace cooling38) Программирование: Fix Command, Flag Complex39) Автоматика: full classification40) Океанография: Flood Control41) Химическое оружие: found concentration42) Макаров: fire cock, flight computer, function code, furnace cool43) Расширение файла: Harvard Graphics 2.0 Spell checking dictionary44) SAP.тех. код функции45) Нефть и газ: fully closed46) Электротехника: faulted circuit, ferrite core, frequency conversion47) Имена и фамилии: Freddie Couples, Freddy Creel48) Общественная организация: First Candle49) Должность: Female Channeler, Foreign Correspondent, Freaky Clown50) Чат: Face Contact51) NYSE. Franklin Covey Company52) НАСА: Frequency Control53) Программное обеспечение: Fortran Compiler, Full Control54) Хобби: Fishing Club55) Единицы измерений: Federal Credits56) Базы данных: File Check -
20 functional analysis
1) Математика: функциональное исчисление2) Деловая лексика: функциональный анализ
- 1
- 2
См. также в других словарях:
ФУНКЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — гомоморфизм нек рой алгебры функций Ав алгебру L(X)непрерывных линейных операторов в топологич. векторном пространстве X. Ф. и. один из основных инструментов общего спектрального анализа и теории банаховых алгебр, к рый позволяет использовать в… … Математическая энциклопедия
МИНИМАЛЬНОЕ ФУНКЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ, — минимальное исчисление предикатов, исчисление предикатов, задаваемое всеми схемами аксиом минимального пропозиционального исчисления и обычными кванторными схемами аксиом и правилами вывода, т. е. (t произвольный терм), модус поненс и (переменная … Математическая энциклопедия
Функциональное программирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия
Лямбда-исчисление — (λ исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их основная… … Википедия
Λ-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… … Википедия
Ламбда-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… … Википедия
Лямбда исчисление — (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их… … Википедия
СЖАТИЕ — с ж и м а ю щ и й о п е р а т о р, ограниченное линейное отображение Тгильбертова пространства H в гильбертово пространство H с . При H=H сжатие Тназ. вполне неунитарным, если оно не является унитарным оператором ни при каком: отличном от {0}… … Математическая энциклопедия
СПЕКТР — оператора совокупность чисел для к рых оператор не имеет всюду определенного ограниченного обратного. Здесь А линейный оператор в комплексном банаховом пространстве Х, I тождественный оператор в X. Если Ане замкнут в X, то поэтому обычно… … Математическая энциклопедия
Рекурсивная функция (теория вычислимости) — У этого термина существуют и другие значения, см. Рекурсивная функция (значения). Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций примитивно рекурсивные функции; общерекурсивные функции; … Википедия
ФУНКЦИЯ — (лат. functio – исполнение) обязанность, круг деятельности. «Функция – это существование, мыслимое нами в действии» (Гёте). Наука о функциях органов живых существ – физиология; специальная наука о функциях нервной системы – физиология органов… … Философская энциклопедия